1. A hierarchy of Turing degrees :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Unsolvability (Mathematical logic) ; Computable functions. ; Recursively enumerable sets. ;
2. A programming approach to computability
پدیدآورنده: / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Computable functions,Programming (Electronic computers)
رده :
QA9
.
59
.
K46
3. A programming approach to computability
پدیدآورنده: Kfoury, A. J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computable functions,، Computer programming
رده :
QA
9
.
59
.
K46
1982
4. Algebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده: Nourani, Cyrus F.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
5. Algorithmic randomness and complexit
پدیدآورنده : Rod Downey, Denis Hirschfeldt
موضوع : Computational complexity,Computable functions
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
6. Algorithmic randomness and complexity
پدیدآورنده: / Rodney G. Downey, Denis R. Hirschfeldt.
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computational complexity.,Computable functions.
رده :
QA
267
.
7
.
D67
2010
7. Algorithmic randomness and complexity
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computational complexity. ; Computable functions. ;
8. Algorithmic randomness and complexity
پدیدآورنده: Downey, R. G. )Rod G.(
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Computational complexity,، Computable functions
رده :
QA
267
.
7
.
D69
2010
9. Algorithmic randomness and complexity
پدیدآورنده: / Rodney G. Downey, Denis R. Hirschfeldt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computational complexity,Computable functions
رده :
E-BOOK
10. Algorithmic randomness and complexity
پدیدآورنده: / Rodney G. Downey, Denis R. Hirschfeldt
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity.,Computable functions.
رده :
QA
,
267
.
7
,.
D67
,
2010
11. Algorithmic randomness and complexity
پدیدآورنده: / Rodney G. Downey, Denis R. Hirschfeldt
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع: Computational complexity.,Computable functions.
رده :
QA
267
.
7
.
D6
2010
12. An introduction to computable Languages and abstract machines
پدیدآورنده: Parkes, Alan
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computable functions , Formal Languages , Machine Theory
رده :
QA
267
.
3
.
P37
13. An invitation to applied category theory :
پدیدآورنده: Brendan Fong, David I. Spivak.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.,Categories (Mathematics),Computable functions.,Logic, Symbolic and mathematical.,Mathematical analysis.
رده :
QA9
.
25
.
F66
2019
14. An invitation to applied category theory :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Categories (Mathematics) ; Computable functions. ; Logic, Symbolic and mathematical. ; Mathematical analysis. ;
15. Applying computational intelligence: <how to creat value>
پدیدآورنده: / Arthur Kordon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Computational intelligence,Computable functions,Soft computing,Mathematical optimization,Artificial intelligence
رده :
006
.
3
K84A
2009
16. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
پدیدآورنده: Hermes, Hans.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions
رده :
QA
248
.
5
.
H4
1971
17. Automata
پدیدآورنده: Hopkin, David.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory,، Turing machines,، Computable functions
رده :
QA
267
.
H57
18. Automata and computability /
پدیدآورنده: Dexter C. Kozen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions.,Machine theory.,Abstracte automaten.,Automatentheorie.,Automates mathématiques, Théorie des.,Berechenbarkeit,Berekenbaarheid.,Complexité de calcul (informatique),Computable functions.,Endlicher Automat,Fundamentele informatica.,Kellerautomat,Kontextfreie Grammatik,Machine theory.,Machines séquentielles, Théorie des.,Reguläre Menge,Turing, Machines de.,Turing-Maschine
رده :
QA267
.
K69
1997eb
19. Automata, computability and complexity :
پدیدآورنده: Elaine Rich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.,Computable functions.,Computational complexity.,Electronic data processing.,Machine theory.
رده :
QA267
.
R53
2008
20. Berechenbarkeit, Komplexität, Logik :
پدیدآورنده: Egon Börger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computable functions.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA9
.
56
E366
1992
